home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / t3_1 / tman.lha / tman / tree.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1988-10-28  |  2KB  |  51 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img5.png"
  6.  ALT="\begin{inset}{}
  7. Returns a result tree which is the same as the argument {\it tre...
  8. ...y {\tt SUBST} may or may not share structure with its
  9. tree argument.
  10. \end{inset}">|; 
  11. $key = q/Longrightarrow;MSF=1.6;AAT/;
  12. $cached_env_img{$key} = q|<IMG
  13.  STYLE="height: 9.65ex; vertical-align: 169.58ex; " SRC="|."$dir".q|img13.png"
  14.  ALT="$\Longrightarrow$">|; 
  15. $key = q/{codexenv}`#(12,(+12)){Longrightarrow{#(123){codexenv};MSF=1.6;AAT/;
  16. $cached_env_img{$key} = q|<IMG
  17.   STYLE="height: 1.33ex; vertical-align: 177.74ex; " SRC="|."$dir".q|img14.png"
  18.  ALT="\begin{codexenv}
  19. \lq  \char93 (1 2 ,(+ 1 2)) $\Longrightarrow$ \char93 (1 2 3)
  20. \end{codexenv}">|; 
  21. $key = q/{inset}{}Recursivelymakeacopyofthe{{it{treeslash}.codexenv{(COPY-TREE{{it{treeslash}){equiv{(SUBSTQNILNIL{{it{treeslash})codexenv{{inset};MSF=1.6;AAT/;
  22. $cached_env_img{$key} = q|<IMG
  23.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img8.png"
  24.  ALT="\begin{inset}{}
  25. Recursively make a copy of the {\it tree\/}.
  26. \begin{codexenv}
  27. (C...
  28. ... {\it tree\/}) $\equiv$ (SUBSTQ NIL NIL {\it tree\/})
  29. \end{codexenv}\end{inset}">|; 
  30. $key = q/{inset}{}codexenv{(ALIKEQ?{{it{tree1tree2slash}){equiv{(ALIKE?EQ?{{it{tree1tree2slash})codexenv{{inset};MSF=1.6;AAT/;
  31. $cached_env_img{$key} = q|<IMG
  32.   STYLE="height: 2.17ex; vertical-align: 176.41ex; " SRC="|."$dir".q|img3.png"
  33.  ALT="\begin{inset}{}
  34. \begin{codexenv}
  35. (ALIKEQ? {\it tree1 tree2\/}) $\equiv$ (ALIKE? EQ? {\it tree1 tree2\/})
  36. \end{codexenv}\end{inset}">|; 
  37. $key = q/{inset}{}codexenv{(SUBSTQ{{it{newoldtreeslash}){equiv{(SUBSTEQ?{{it{newoldtreeslash})codexenv{{inset};MSF=1.6;AAT/;
  38. $cached_env_img{$key} = q|<IMG
  39.   STYLE="height: 2.10ex; vertical-align: 176.41ex; " SRC="|."$dir".q|img6.png"
  40.  ALT="\begin{inset}{}
  41. \begin{codexenv}
  42. (SUBSTQ {\it new old tree\/}) $\equiv$ (SUBST EQ? {\it new old tree\/})
  43. \end{codexenv}\end{inset}">|; 
  44. $key = q/{inset}{}codexenv{(SUBSTV{{it{newoldtreeslash}){equiv{(SUBSTEQUIV?{{it{newoldtreeslash})codexenv{{inset};MSF=1.6;AAT/;
  45. $cached_env_img{$key} = q|<IMG
  46.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img7.png"
  47.  ALT="\begin{inset}{}
  48. \begin{codexenv}
  49. (SUBSTV {\it new old tree\/}) $\equiv$ (SUBST EQUIV? {\it new old tree\/})
  50. \end{codexenv}\end{inset}">|; 
  51.